Buy Used and New Gary D . Hachtel Books

Logic Minimization Algorithms for VLSI Synthesis: 2 (The Springer International Series in Engineering and Computer Science)

by Alberto L. Sangiovanni-Vincentelli, C. McMullen, Gary D. Hachtel, Robert K. Brayton

ISBN 13: 9780898381641

Format: Hardcover (194 pages)
Publisher: Springer
Published: 31 Aug 1984

Save for later

Abstraction Refinement for Large Scale Model Checking (Integrated Circuits and Systems)

by Chao Wang, Gary D. Hachtel, Fabio Somenzi

ISBN 13: 9781489993953

Format: Paperback (196 pages)
Publisher: Springer
Published: 06 Dec 2014

Save for later